Verifying Web Services Choreography using Dead Marking (Deceased Smearing) Algorithm

Internet is a network of interlinked computer networking worldwide, which is accessible to the general public. Web services are a method of communication between two electronic devices over the web (internet). The W3C defines a “web service” as a software system designed to support interoperable machine to machine interaction over the “network”. Web service composition provides an open, standard – based approach for connecting web services together to create higher level business processes. This web service composition turns out to be a major research issues. I.e. Only limited number of verification approaches is available. The existing approaches concentrate mainly on composition and not on verification. Thus, there is a need for verification of web service composition. This paper proposes a new model called Buchi automata and introducing a new algorithm called dead marking algorithm (Deceased smearing ) for verifying the composed web services. It identifies whether the state is in dead or not.